Relax, but Don't be Too Lazy

Don't Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication

Lazy Pointer Analysis

Flowand context-sensitive pointer analysis is generally considered too expensive for large programs; most tools relax one or both of the requirements for scalability. We formulate a flowand context-sensitive points-to analysis that is lazy in the following sense: points-to information is computed only for live pointers and its propagation is sparse (restricted to live ranges of respective point...

The health of a couch potato

Everyone needs to kick back and relax now and then, but too much bonding time with the couch and TV remote control can lead to serious health problems. This is of concern, because according to the Centers for Disease Control and Prevention (CDC) [2], less than 50 percent of adults in the United States don't meet the recommended physical activity guidelines [3]. And, even though busting a move o...

A purely functional implementation of ROBDDs in Haskell

This paper presents an implementation of the ROBDD data structure in Haskell. It shows that lazy evaluation can be used to improve the performance of some ROBDD algorithms. While standard implementations construct the whole structure no matter which parts are demanded we use lazy evaluation to provide a more demand driven construction. To achieve this behavior we have to relax a property that g...

Energy-efficient Transmission over a Wireless Link via Lazy Packet Scheduling

The paper considers the problem of minimizing the energy used to transmit packets over a wireless link via lazy schedules that judiciously vary packet transmission times. The problem is motivated by the following key observation: In many channel coding schemes, the energy required to transmit a packet can be significantly reduced by lowering transmission power and transmitting the packet over a...